// 
// File:   bdd_manager.h
// Author: cionescu
//
// Created on April 16, 2007, 3:56 PM
//

#ifndef _bdd_manager_H
#define	_bdd_manager_H

class bdd_manager {
  DdNode* ddManager;
  
  bdd_manager() {
    // TODO manager init
    ddManager = NULL;
  }
};

#endif	/* _bdd_manager_H */

